Specifying UML protocol state machines in Alloy

A UML Protocol State Machine (PSM) is a behavioral diagram for the specification of the external behavior of a class, interface or component. PSMs have been used in the software development process for different purposes, such as requirements analysis and testing. However, like other UML diagrams, they are often difficult to validate and verify, specially when combined with other artifacts, such as Object Constraint Language (OCL) specifications. This drawback can be overcome by application of an off-the-shelf formal method, namely one supporting automatic validation and verification. Among those, we have the increasingly popular Alloy, based on a simple relational flavor of first-order logic. This paper presents a model transformation from PSMs, optionally complemented with OCL specifications, to Alloy. Not only it enables automatic verification and validation of PSMs, but also a smooth integration of Alloy in current software development practices.Fundação para a Ciência e a Tecnologi

Translating alloy apecifications to UML class diagrams annotated with OCL

Proceedings of the 9th International Conference on Software Engineering and Formal MethodsModel-Driven Engineering (MDE) is a Software Engineering approach based on model transformations at different abstraction levels. It prescribes the development of software by successively transforming models from abstract (specifications) to more concrete ones (code). Alloy is an increasingly popular lightweight formal specification language that supports automatic verification. Unfortunately, its widespread industrial adoption is hampered by the lack of an ecosystem of MDE tools, namely code generators. This paper presents a model transformation between Alloy and UML Class Diagrams annotated with OCL. The proposed transformation enables current UML-based tools to also be applied to Alloy specifications, thus unleashing its potential for MDE

Retrato de la intimidad

En un espacio de gran difusión, en revistas femeninas y de interés general durante los primero setenta años del siglo XX, como el Consultorio Sentimental –sitio dedicado a la evaluación y solución de problemas amorosos de los lectores–, se observa un fenómeno de singular importancia vinculado a la presencia de una imagen que acompaña toda la vida del género: una mujer escribiendo en soledad

Consultorio sentimental 2.0: la construcción de espacios de confesión y consejo en Internet2

La siguiente presentación tiene como objetivo dar cuenta de ciertas características de las zonas de confesión y consejo de conflictos afectivos de particulares en Internet. Este espacio de discursividad social se conformó como un género presente en los medios de comunicación masiva: el consultorio sentimental. De nacimiento en la gráfica el género se instaló luego en radio y en televisión, adquiriendo rasgos determinados por las nuevas modalidades de intercambio aportadas por las posibilidades de los dispositivos y los usos particulares de aquellos medios. Este trabajo se propone describir y analizar las estrategias discursivas a partir de las cuales se prescriben en Internet acciones que apuntan a regular aspectos concretos de la vida privada del segmento de usuarios que consulta al respecto

Síntesis de la Tesis de Maestría en Psicoanálisis: Implicancias subjetivas del uso de redes sociales de Internet

Tal como se plantea en el paradigmático texto lacaniano La subversión del sujeto y la dialéctica del deseo en el inconsciente freudiano la articulación entre la ciencia y el sujeto plantea una cuestión paradojal: la ciencia, por principio, excluye al sujeto. La subjetividad resulta impropia como objeto científico siendo un objeto a eliminar cualquier rastro que se vincule con ella. Actualmente observamos un escenario donde es claro el avance en el campo de la salud mental de técnicas terapéuticas que se atribuyen un linaje científico incompatible con el que podría sostener una praxis que se soporta en la inclusión del sujeto en su seno. En ese panorama emerge una concepción donde la subjetividad funcionaria según los principios de las máquinas, de este modo son la cibernética y la química las ciencias que habilitan proyectos de cura basados en esos preceptos

Wikileaks: ¿los límites de la esperanza antibroadcast?

Siempre que investigamos fenómenos mediáticos de actualidad, y muy especialmente en el clima vertiginoso de la Internet, corremos el riesgo de que nuestro objeto se escurra, no sólo de nuestro punto de vista, sino también de cualquier interés posible que la sociedad tenga sobre él: seguirá interesando la cuestión Wikileaks cuando finalmente alguien nos lea

El amor está en el aire: el consultorio sentimental radiofónico

El objetivo de este artículo es exponer algunas observaciones sobre aquellos espacios radiofónicos en los que se encuentra presente la consulta sobre problemáticas sentimentales por parte del público y como así también el consejo que apunta a la resolución del mismo. Para ello se realizará la descripción y el análisis de las estrategias discursivas a partir de las cuales se prescriben en estos espacios las acciones que apuntan a regular aspectos concretos de la vida privada del segmento del público que consulta al respecto

Las noticias en los diarios (también) son un espectáculo

El filósofo Tomás Abraham ocupó hace poco tiempo el lugar de “crítico invitado” de TVR. Habitualmente, esta figura –creada por el propio programa– se encuentra a cargo de algún personaje del medio televisivo que no oculta su admiración por el programa y lo califica de modo positivo. Si existe alguna crítica se realiza sobre la coincidencia de lo “retratado” por los informes pero no sobre los informes mismo

El Consultorio Sentimental radiofónico

El objetivo de este artículo es exponer algunas observaciones sobre aquellos espacios radiofónicos en los que se encuentra presente la consulta sobre problemáticas sentimentales por parte del público y como así también el consejo que apunta a la resolución del mismo. Para ello se realizará la descripción y el análisis de las estrategias discursivas a partir de las cuales se prescriben en estos espacios las acciones que apuntan a regular aspectos concretos de la vida privada del segmento del público que consulta al respecto

Más allá del principio del placer: repetición y pulsión de muerte

En “Mas allá del principio del placer” se llega al dualismo referido a las pulsiones de vida y de muerte, lo que produce una verdadera transformación en la teoría psicoanalítica. Hasta ese momento se concebía que el aparato psíquico se regulaba por el principio del placer-displacer, pero en “Mas allá del principio del placer”, Freud se hace cargo de las dificultades de esta concepción, de esta manera empieza el texto diciendo que la experiencia clínica muestra que los seres humanos tienden a repetir expectativas o vivencias displacenteras de la infancia o a repetir insistentemente el episodio doloroso en la neurosis traumática